predicate;

fn main(foo: b256) -> bool {
    foo == 0x0101010101010101010101010101010101010101010101010101010101010101
}
